...collaborate on

Search: ^m

Education/Archive Web Changed Changed by
MFIGru 10 Feb 2005 - 02:18 - r2 LuisSoaresBarbosa
Classificações Exame (Época Normal) Nr Nome Exame Recurso Laboratório NOTA FINAL 35803 Alexandra Martins Silva 19 30969 Alexandre ...
MFISum 16 Dec 2004 - 16:54 - r6 OlgaPacheco
T (2004.09.23) : Apresentação da Disciplina. Introdução aos métodos formais de especificação e desenvolvimento de software. O binómio especificação implementação. ...
MFPII0405 26 Feb 2007 - 00:31 - r11 JoseBacelarAlmeida
SumáriosAulas Métodos Formais de Programação II 2004 2005 Equipa Docente Teóricas: Luis Soares Barbosa http://www.di.uminho.pt/~lsb (url) Te ...
MFPIISum0405 26 Feb 2007 - 00:31 - r10 JoseBacelarAlmeida
T (2005.02.21) : Apresentação da Disciplina. Noção de refinamento. TP (2005.02.22, 2005.02.24) : Apresentação e marcação de turnos. Generalização das construções ...
MP2News 12 Jul 2005 - 15:22 - r34 MariaJoaoFrade
Sessão de esclarecimento de dúvidas na próxima 2ª feira (dia 18) às 14:30 na sala DI 0.02 . MariaJoaoFrade 12 Jul 2005 Os testes poderão ser consultados na ...
MP4Gru 02 Aug 2005 - 10:30 - r17 LuisSoaresBarbosa
Grupo Nr Nome Tema Class. PRÁTICA Exame (N) Exame (R) CLASS. FINAL 1 35840 José Tércio Soares D 15 13 14 35743 Pedro Machado D ...
MP4Sum 21 Feb 2006 - 14:34 - r9 LuisSoaresBarbosa
T (2006.02.21) : Apresentação da Disciplina. Introdução aos sistemas reactivos. Álgebras e Coalgebras. Tipos indutivos e coindutivos. Interação e comportamento. Comportamento ...
MenuTopics 19 Sep 2008 - 13:37 - r46 JoseBacelarAlmeida
AeC AFP CA CriptoBio EDFS EC DSI ELP1 ELP2 ELP3 IJ LAD LabMF LI1 LC MFP1 MFP2 MP1 MP2 MP4 Opcao III PF PP1 PP2 Estágios Projectos PhD@DI
MetProgr1News0405 12 Feb 2007 - 19:15 - r23 JoseBacelarAlmeida
Terão lugar (no anfiteatro A1 do DI) as seguintes sessões de esclarecimento de dúvidas: 2a.fa. 14 Fev 10:00, com possibilidade de consulta dos exames (1a. chamada ...
MetodosFormaisProgramacaoI 04 Mar 2005 - 16:51 - r13 LuisSoaresBarbosa
SumáriosAulas Métodos Formais de Programação I 2004 2005 Equipa Docente Teóricas: Luis Soares Barbosa http://www.di.uminho.pt/~lsb (url) Te ...
MetodosProgramacaoI 12 Feb 2007 - 19:48 - r20 JoseBacelarAlmeida
Métodos de Programação I 2005 2006 (anexo) ATENÇÃO: A página oficial da disciplina está alojada em http://www.di.uminho.pt/~jno/html/mpi.html . Esta página destina ...
MetodosProgramacaoI0405 12 Feb 2007 - 19:48 - r58 JoseBacelarAlmeida
Notícias Enunciados Exames 1a. chamada 2a. chamada 3a. chamada Notas Época Especial (Outubro 2005) N. Nome Curso Nota Exame Nota Final ...
MetodosProgramacaoIFAQ 16 Dec 2005 - 17:52 - r14 AlcinoCunha
Devemos nos restringir unicamente aos operadores Pointfree indicados no enunciado (não há o Either, por exemplo)? Claro que não! Faltam todos os operadores das somas ...
MetodosProgramacaoIFAQ0405 12 Feb 2007 - 19:48 - r112 JoseBacelarAlmeida
Em principio quando é que sairão as notas da primeira chamada? Seria possivel disponibilizarem na página o exame da primeira chamada? Seria bastante util para quem ...
MetodosProgramacaoII 18 Oct 2005 - 16:55 - r91 JoseBarros
Notícias Métodos de Programação II 2004 2005 Sugestão de Leitura Robert Floyd, um grande Cientista da Computação, recordado aqui nas palavras de outro grande cientista ...
MetodosProgramacaoIIFAQ 11 Jul 2005 - 14:59 - r113 TWikiGuest
FAQ de Métodos de Programação II Índice: Nas pautas que saíram relativamente ao ano 2004/05, alguns alunos têm como nota ' '. Em termos práticos, a que se resume ...
MetodosProgramacaoIV 11 Jul 2006 - 16:37 - r39 LuisSoaresBarbosa
SumáriosAulas Métodos de Programação IV (Modelação e Cálculo de Sistemas Reactivos) 2005 2006 Responsável pela Disciplina LuisSoaresBarbosa http ...
Found 17 topics.
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM